Sistematização do processo de verificação de FMS a partir de modelos formais em UPPAAL (2009)
Gonçalves, Felipe Almeida; Santos Filho, Diolino Jose dos (Orientador) 
; Chi, Su Yun
Subject: SISTEMAS FLEXÍVEIS DE MANUFATURA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GONÇALVES, Felipe Almeida e CHI, Su Yun. Sistematização do processo de verificação de FMS a partir de modelos formais em UPPAAL. 2009. Trabalho de Conclusão de Curso (Graduação) – Escola Politécnica, Universidade de São Paulo, São Paulo, 2009. Disponível em: https://bdta.abcd.usp.br/directbitstream/df202f3f-c5fc-47b2-a260-fb5a83527dcc/FELIPE%20ALMEIDA%20GON%C3%87ALVES%20PMR09.pdf. Acesso em: 27 abr. 2024.APA
Gonçalves, F. A., & Chi, S. Y. (2009). Sistematização do processo de verificação de FMS a partir de modelos formais em UPPAAL (Trabalho de Conclusão de Curso (Graduação). Escola Politécnica, Universidade de São Paulo, São Paulo. Recuperado de https://bdta.abcd.usp.br/directbitstream/df202f3f-c5fc-47b2-a260-fb5a83527dcc/FELIPE%20ALMEIDA%20GON%C3%87ALVES%20PMR09.pdfNLM
Gonçalves FA, Chi SY. Sistematização do processo de verificação de FMS a partir de modelos formais em UPPAAL [Internet]. 2009 ;[citado 2024 abr. 27 ] Available from: https://bdta.abcd.usp.br/directbitstream/df202f3f-c5fc-47b2-a260-fb5a83527dcc/FELIPE%20ALMEIDA%20GON%C3%87ALVES%20PMR09.pdfVancouver
Gonçalves FA, Chi SY. Sistematização do processo de verificação de FMS a partir de modelos formais em UPPAAL [Internet]. 2009 ;[citado 2024 abr. 27 ] Available from: https://bdta.abcd.usp.br/directbitstream/df202f3f-c5fc-47b2-a260-fb5a83527dcc/FELIPE%20ALMEIDA%20GON%C3%87ALVES%20PMR09.pdf
